1. The Semantics and Proof Theory of the Logic of Bunched Implications
پدیدآورنده : by David J. Pym.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic.,Philosophy (General).
تعداد ۲ پاسخ غیر تکراری از ۳ پاسخ تکراری در مدت زمان ۰,۶۴ ثانیه یافت شد.
